<?php

require_once __DIR__.'/../../setpath.php';
require_once "$mediawikipath/includes/profiler/Profiler.php";
